#ifndef DFRT_PRIVATE_HDR
#define DFRT_PRIVATE_HDR

#include <string.h>
#include <stdint.h>
#include <stdbool.h>
#include <omp.h>

#include "config.h"
#include "misc.h"
#include "hooks.h"
#include "scheduling.h"


extern hidden_attr
__thread struct frame_struct * current_fp;




#endif
